منابع مشابه
Interactive semantics
Article history: Received 7 July 2009 Received in revised form 7 August 2009 Accepted 22 October 2009 Available online 17 November 2009
متن کاملInteractive Proof: Applications to Semantics
Building on a previous lecture in the summer school, the introduction to interactive proof, this lecture demonstrates a specific application of interactive proof assistants: the semantics of programming languages. In particular, I show how to formalise a small imperative programming language in the theorem prover Isabelle/HOL, how to define its semantics in different variations, and how to prov...
متن کاملInteractive Semantics for Knowledge Transfer
We propose a novel learning framework for object categorization with interactive semantic feedback. In this framework, a discriminative categorization model improves through humanguided iterative semantic feedbacks. Specifically, the model identifies the most helpful relational semantic queries to discriminatively refine the model. The user feedback on whether the pattern is valid or not is inc...
متن کاملInteractive Volume Visualization of Complex Flow Semantics
Comprehending results from 3D CFD simulation is a difficult task. In this paper, we present a semantics-based approach to featurebased volume rendering of 3D flow data. We make use of interactive feature specification to acquire derived data about what is most interesting to the user. This process results in so-called degree-ofinterest (DOI) values, associated with the original data items. This...
متن کاملAn Arrow Based Semantics for Interactive Applications
Interactive applications, whether they run on the desktop or as a web application, can be considered to be collections of interconnected editors that allow users to manipu late data. This is the view that is advocated by the GEC Toolkit and the iData Toolkit, which offer a high level of abstraction to desktop and web GUI applications respec tively. Special features of these toolkits are that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2010
ISSN: 0004-3702
DOI: 10.1016/j.artint.2009.11.014